2

Interpreting true arithmetic in the theory of the r.e. truth table degrees

Year:
1995
Language:
english
File:
PDF, 2.47 MB
english, 1995
3

Lowness properties and randomness

Year:
2005
Language:
english
File:
PDF, 404 KB
english, 2005
5

FA-presentable groups and rings

Year:
2008
Language:
english
File:
PDF, 189 KB
english, 2008
6

Aspects of free groups

Year:
2003
Language:
english
File:
PDF, 89 KB
english, 2003
7

Trivial Reals

Year:
2002
Language:
english
File:
PDF, 223 KB
english, 2002
9

Universal recursively enumerable sets of strings

Year:
2011
Language:
english
File:
PDF, 263 KB
english, 2011
12

Characterizing the strongly jump-traceable sets via randomness

Year:
2012
Language:
english
File:
PDF, 407 KB
english, 2012
13

Effectively Dense Boolean Algebras and Their Applications

Year:
2000
Language:
english
File:
PDF, 735 KB
english, 2000
15

RELATIVIZING CHAITIN'S HALTING PROBABILITY

Year:
2005
Language:
english
File:
PDF, 369 KB
english, 2005
16

PARAMETER DEFINABILITY IN THE RECURSIVELY ENUMERABLE DEGREES

Year:
2003
Language:
english
File:
PDF, 352 KB
english, 2003
17

Denjoy, Demuth and density

Year:
2014
Language:
english
File:
PDF, 432 KB
english, 2014
18

Calibrating Randomness

Year:
2006
Language:
english
File:
PDF, 743 KB
english, 2006
20

Calibrating Randomness

Year:
2006
Language:
english
File:
PDF, 9.23 MB
english, 2006
25

USING ALMOST-EVERYWHERE THEOREMS FROM ANALYSIS TO STUDY RANDOMNESS

Year:
2016
Language:
english
File:
PDF, 320 KB
english, 2016
26

Metric Scott analysis

Year:
2017
Language:
english
File:
PDF, 686 KB
english, 2017
27

Describing Groups

Year:
2007
Language:
english
File:
PDF, 342 KB
english, 2007
28

THE COMPLEXITY OF TOPOLOGICAL GROUP ISOMORPHISM

Year:
2018
Language:
english
File:
PDF, 213 KB
english, 2018
30

Martin-Löf random quantum states

Year:
2019
File:
PDF, 997 KB
2019
31

Differences of Computably Enumerable Sets

Year:
2000
Language:
english
File:
PDF, 135 KB
english, 2000
32

Recursively Enumerable Equivalence Relations Modulo Finite Differences

Year:
1994
Language:
english
File:
PDF, 1.44 MB
english, 1994
33

Coding in the Partial Order of Enumerable Sets

Year:
1998
Language:
english
File:
PDF, 489 KB
english, 1998
34

Undecidability Results for Low Complexity Time Classes

Year:
2000
Language:
english
File:
PDF, 165 KB
english, 2000
36

Finite automata presentable abelian groups

Year:
2009
Language:
english
File:
PDF, 622 KB
english, 2009
37

Higher Kurtz randomness

Year:
2010
Language:
english
File:
PDF, 368 KB
english, 2010
38

Interpreting N in the computably enumerable weak truth table degrees

Year:
2001
Language:
english
File:
PDF, 129 KB
english, 2001
40

Cappable recursively enumerable degrees and Post's program

Year:
1992
Language:
english
File:
PDF, 329 KB
english, 1992
41

Atomlessr-maximal sets

Year:
1999
Language:
english
File:
PDF, 789 KB
english, 1999
42

Branching in the enumeration degrees of the Σ20sets

Year:
1999
Language:
english
File:
PDF, 1.19 MB
english, 1999
45

Lowness of higher randomness notions

Year:
2008
Language:
english
File:
PDF, 200 KB
english, 2008
46

Lowness properties and approximations of the jump

Year:
2008
Language:
english
File:
PDF, 334 KB
english, 2008
47

Upper bounds on ideals in the computably enumerable Turing degrees

Year:
2011
Language:
english
File:
PDF, 267 KB
english, 2011
48

Demuth randomness and computational complexity

Year:
2011
Language:
english
File:
PDF, 278 KB
english, 2011
49

Lowness Properties and Approximations of the Jump

Year:
2006
Language:
english
File:
PDF, 271 KB
english, 2006